Graph rewriting - PDFSEARCH.IO - Document Search Engine

Graph rewriting
Results: 134

#	Item
81	Towards a Verification Framework for Haskell by Combining Graph Transformation Units and SAT Solving Marcus Ermler University of Bremen, Department of Computer Science P.O.Box, 28334 Bremen, Germany Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-21 18:50:04 Planar graph Connectivity Line graph Petersen graph Graph theory Graph rewriting Graph
82	Dániel Varró Budapest University of Technology and Economics Magyar tudósok krt. 2 Budapest, H-1117 Hungary Phone: + Add to Reading List Source URL: home.mit.bme.hu Language: English - Date: 2011-01-04 11:13:20 Software engineering Systems science VIATRA Mathematics Model transformation language Model-driven engineering Unified Modeling Language Systems engineering Graph rewriting
83	GGD: Graph Grammar Developer for features in CAD/CAM Christoph Klauck and Johannes Schwagereit German Research Center for Articial Intelligence Inc. (DFKI) ARC-TEC Project Mailing address: P.O. Box 2080, D-6750 Kaisersl Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:02:33 Theoretical computer science Graph rewriting Graph Feature structure Topology Context-free grammar Feature recognition Graph theory Mathematics Combinatorics
84	Towards a General Composition Semantics for Rule-Based Model Transformation Dennis Wagelaar1? , Massimo Tisi2 , Jordi Cabot2 , and Fr´ed´eric Jouault2 1 2 Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-07-18 06:30:13 Computing Formal languages Unified Modeling Language VIATRA Fold Cascading Style Sheets Graph rewriting Combinatorics Mathematics
85	Position Paper: Software Modelling Education Add to Reading List Source URL: www.se.uni-oldenburg.de Language: English - Date: 2015-01-15 09:20:28 Scientific modeling Software development Science ECO Graph rewriting KeY Metamodeling Modeling language Model-driven engineering Unified Modeling Language Systems engineering Software engineering
86	Improving the graph grammar parser of Rekers and Sch¨urr Luka F¨ urst1 , Marjan Mernik2 , Viljan Mahniˇc1 1 Add to Reading List Source URL: eprints.fri.uni-lj.si Language: English - Date: 2012-11-27 11:25:24 Combinatorics Compiler construction Graph rewriting Graph Context-free grammar Formal grammar CYK algorithm Tree Vertex Graph theory Formal languages Mathematics
87	Towards Generation of High-performance Transformations Attila Vizhanyo, Aditya Agrawal, Feng Shi Institute for Software Integrated Systems, Vanderbilt University Nashville, TN 37235, USA {viza, aditya, fengshi }@isis.van Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 14:04:56 Graph rewriting NP-complete problems Graph Subgraph isomorphism problem GrGen Graph theory Theoretical computer science Mathematics
88	Microsoft Word - poster_abstract_theisselmann_dransch.doc Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2008-04-15 10:09:20 Systems engineering Science Abstraction Graph rewriting Model-driven engineering Modeling language Domain-specific modeling Metamodeling DEVS Scientific modeling Unified Modeling Language Software engineering
89	Marker-directed Optimization of UnCAL Graph Transformations Soichiro Hidaka1 , Zhenjiang Hu1 , Kazuhiro Inaba1 , Hiroyuki Kato1 , Kazutaka Matsuda2 , Keisuke Nakano3 , and Isao Sasano4 1 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2012-01-29 09:44:57 Graph rewriting Function Graph Monochromatic triangle Mathematics Graph theory Theoretical computer science
90	Toward bidirectionalization of ATL with GRoundTram Isao Sasano1 , Zhenjiang Hu2 , Soichiro Hidaka2 , Kazuhiro Inaba2 , Hiroyuki Kato2 , and Keisuke Nakano3 1 3 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2011-07-30 11:35:00 Graph rewriting Graph theory Mathematics Systems science Scientific modeling KM3 Model transformation Metamodeling Unified Modeling Language Systems engineering Software engineering

UPDATE